翻訳と辞書 Words near each other ・ Acts of Terror (The Twilight Zone) ・ Acts of the 88th Minnesota Legislature ・ Acts of the Apostles ・ Acts of the Apostles (genre) ・ Acts of the claimant ・ Acts of the Kings of Israel ・ Acts of the Martyrs ・ Acts of the Unspeakable ・ Acts of Thomas ・ Acts of Timothy ・ Acts of Union 1707 ・ Acts of Union 1800 ・ Acts of Uziah ・ Actor model and process calculi history ・ Actor model implementation ・ Actor model later history ・ Actor model middle history ・ Actor model theory ・ Actor modeling ・ Actor Nakamura Shikan II as Satake Shinjuro ・ Actor Rebellion of 1733 ・ Actor Tour ・ Actor's and Sin ・ Actor's Workshop ・ Actor-Based Concurrent Language ・ Actor-Lab ・ Actor-manager ・ Actorexpo ・ ActorFoundry ・ Actoria gens Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Actor model later history ： ウィキペディア英語版 Actor model later history In computer science, the Actor model, first published in 1973 , is a mathematical model of concurrent computation. This article reports on the later history of the Actor model in which major themes were investigation of the basic power of the model, study of issues of compositionality, development of architectures, and application to Open systems. It is the follow on article to Actor model middle history which reports on the initial implementations, initial applications, and development of the first proof theory and denotational model. ==Power of the Actor Model== Investigations began into the basic power of the Actor model. Carl Hewitt () argued that because of the use of Arbiters that the Actor model was more powerful than logic programming (see indeterminacy in concurrent computation). A family of Prolog-like concurrent message passing systems using unification of shared variables and data structure streams for messages were developed by Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, ''etc.'' Some of these authors made claims that these systems were based on mathematical logic. However, like the Actor model, the Prolog-like concurrent systems were based on message passing and consequently were subject to indeterminacy in the ordering of messages in streams that was similar to the indeterminacy in arrival ordering of messages sent to Actors. Consequently Carl Hewitt and Gul Agha () concluded that the Prolog-like concurrent systems were neither deductive nor logical. They were not deductive because computational steps did not follow deductively from their predecessors and they were not logical because no system of mathematical logic was capable of deriving the facts of subsequent computational situations from their predecessors 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Actor model later history」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.